exists vs in not in